Real computation - PDFSEARCH.IO - Document Search Engine

Real computation
Results: 106

#	Item
101	Real Number Computability and Domain Theory ∗ Pietro Di Gianantonio dipartimento di Matematica e Informatica, Universit`a di Udine Add to Reading List Source URL: users.dimi.uniud.it Language: English - Date: 2010-04-04 11:51:58 Elementary mathematics Field theory Computable number Computable analysis Computable function Real number Computable real function Rational number Cauchy sequence Mathematics Computability theory Theory of computation
102	From the IEE “Computing and Control Engineering” journal, February,[removed]A Modern Real-Time Software Design Tool: Add to Reading List Source URL: www.stateworks.com Language: English - Date: 2009-04-02 14:10:26 Computing Technology Project management Digital electronics Finite-state machine Software development process Virtual finite-state machine Software design Extreme programming Software development Models of computation Software engineering
103	On the non-sequential nature of the interval-domain model of real-number computation Mart´ın Escard´o, Martin Hofmann, Thomas Streicher Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2002-10-18 10:35:03 Calculus Continuous function Function Denotational semantics Partially ordered set Exponentiation Interval arithmetic Uniform continuity Mathematics Mathematical analysis Functions and mappings
104	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-30 08:32:21 Calculus Computability theory Real analysis Theory of computation Continuous function Programming Computable Functions Computable function Function Domain theory Mathematical analysis Mathematics Topology
105	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Theory of computation Mathematical logic Turing machine Computable number Computable function Entscheidungsproblem Definable real number Function Turing machine examples Computability theory Theoretical computer science Mathematics
106	PDF Document Add to Reading List Source URL: eccc.hpi-web.de Language: English - Date: 2010-01-04 06:24:49 Mathematical logic Mathematics Computable function Computable number Computable analysis Computable real function Function Utm theorem Church–Turing thesis Computability theory Theoretical computer science Theory of computation